Nuprl Definition : union-decodes
11,40
postcript
pdf
[
R
?
decodes1
:
decodes2
](
i
,
e
,
st
)
== if
p
:
R
(
i
,
e
) then
decodes1
(
i
,
e
,
st
) else
decodes2
(
i
,
e
,
st
) fi
latex
clarification:
union-decodes(
R
;
dec_R
;
decodes1
;
decodes2
)(
i
,
e
,
st
)
== branch(
R
(
i
,
e
);
dec_R
(
i
,
e
);
p
.
decodes1
(
i
,
e
,
st
);
decodes2
(
i
,
e
,
st
))
latex
Definitions
x
.
A
(
x
)
,
if
p
:
P
then
A
(
p
) else
B
fi
,
f
(
a
)
FDL editor aliases
union-decodes
origin
x.A(x)x.A(x)